php get time in milliseconds

$milliseconds = round(microtime(true) * 1000);

$now = DateTime::createFromFormat('U.u', microtime(true));
echo $now->format("m-d-Y H:i:s.u");

$d = new DateTime();
echo $d->format("Y-m-d H:i:s.v"); // v : Milliseconds